41. Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
پدیدآورنده : Franz Winkler )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2930
42. Automated deduction in geometry: 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002: revised papers
پدیدآورنده : Franz Winkler )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
448
.
D38
I577
2002
43. Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000: revised papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Geometry-- Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
448
.
D38
.
I577
2000
44. Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
پدیدآورنده : Jurgen Richter-Gebert, Dongming Wang, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2061
45. Automatic programming and numerical methods of analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Automatic programming )Computer science(-- Addresses, essays, lectures,، Numerical analysis-- Data processing-- Addresses, essays, lectures
رده :
QA
76
.
6
.
A913
46. Automatic speech signal analysis for clinical diagnosis and assessment of speech disorders
پدیدآورنده : Ladan Baghai-Ravary, Steve W. Beet
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic speech recognition,Speech disorders-- Diagnosis-- Data processing,Speech Disorders-- diagnosis
رده :
RC423
.
B34
2013
47. Basic Bioinformatics
پدیدآورنده : S.Ignacimuthu
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Bioinformatics,Computational Biology,Automatic Data Processing,Chromosome Mapping,Sequence Analysis, DNA
رده :
QH
,
324
.
2
,.
I35
,
2005
48. Big data and ethics
پدیدآورنده : Jérôme Béranger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Big data-- Moral and ethical aspects.,Medicine-- Data processing-- Moral and ethical aspects.,Automatic Data Processing-- ethics,Medical Informatics-- ethics
49. Bioinformatics basics
پدیدآورنده : / Hooman H. Rashidi, Lukas K. Buehler
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع : DNA Mutational Analysis,Chromosome Mapping,Automatic Data Processing
رده :
QH324
.
2
،.
R3
2000
50. Bioinformatics data skills /
پدیدآورنده : Vince Buffalo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Big data,Bioinformatics,Biology-- Data processing,Database management,Information science,Automatic Data Processing,Biology,Computational Biology,Database Management Systems,Information Science
رده :
QH324
.
2
.
B84
2015
51. Bioinformatics methods and protocols /
پدیدآورنده : edited by Stephen Misener and Stephen A. Krawetz
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bioinformatics-- Methodology,Molecular biology-- Data processing,Automatic Data Processing,Computer Simulation,Internet,Molecular Biology-- methods,Software,bioinformatique,Molecular biology-- Computer simulation
رده :
QH506
.
B535
2000
52. Biomedical sciences instrumentation
پدیدآورنده : / edited by Patrick E. Patterson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Biomedical engineering- Congresses,Biomedical engineering- Periodicals,Automatic data processing- Congresses
رده :
R856
.
N333
1999
53. Biomedical sciences instrumentation : proceedings of the Nineteenth annual Rocky Mountain Bioengineering Symposium and the Nineteenth International ISA Biomedical Sciences Instrumentation Symposium held ..
پدیدآورنده : edited by K. C. Rock
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Biomedical engineering,Periodicals ، Biomedical engineering,، Automatic data processing,، Engineering,Periodicals ، Medical technology
رده :
R
856
.
I5
B5
1982
54. Boiler Operation Engineering
پدیدآورنده : P,Chattopadhyay
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Steam-boilers- Automatic control- Data processing
رده :
TJ
,
288
,
B7C4
,
2000
55. Clinical data management
پدیدآورنده : / edited by Richard Rondel, Sheila Varley, Colin Webb
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : پ‍زش‍ک‍ی -- ت‍ح‍ق‍ی‍ق -- داده‌پ‍ردازی,Information Systems,Automatic Data Processing,Data Collection,Data Display,Quality Control
رده :
R
۸۵۳
/
د
۲
ک
۸ ۱۳۸۱
56. Computational aids control systems using MATLAB
پدیدآورنده : / Hadi Saadat
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Automatic control - Data processing,MATLAB
رده :
TJ213
.
S113
1993
57. Computational aids in control systems using MATLAB
پدیدآورنده : Saadat, Hadi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Automatic control,، MATLAB
رده :
TJ
213
.
S113
1993
58. Computational biotechnology
پدیدآورنده : / by Sharad Srivastava
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع : Medical Informatics [2],Automatic Data Processing,Medical Informatics [1]
59. Computational linguistics, speech and image processing for Arabic language /
پدیدآورنده : edited by Neamat El Gayar (Cairo University, Egypt), Ching Y. Suen (Concordia University, Canada).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Arabic character sets (Data processing),Arabic language-- Data processing.,Automatic speech recognition.,Computational linguistics.,Arabic character sets (Data processing),Arabic language-- Data processing.,Automatic speech recognition.,Computational linguistics.,FOREIGN LANGUAGE STUDY-- Arabic.
رده :
PJ6074
60. Computational linguistics, speech and image processing for Arabic language
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Arabic language ; Data processing. ; Computational linguistics. ; Automatic speech recognition. ; Arabic character sets (Data processing) ; Arabic character sets (Data processing) ; fast ; (
